1. Axiomatic set theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Axiomatic set theory. ;
2. Mathematical logic in Latin America
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
3. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
4. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
5. Plasma physics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Plasma (Ionized gases)Congresses,Plasma astrophysicsCongresses,TokamaksCongresses
رده :
QC
,
717
.
6
,.
P57
6. Truth, possibility, and probability
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Probabilities. ; Mathematical statistics. ;
7. Truth, possibility and probability : new logical foundations of probability and statistical inference
پدیدآورنده : Chuaqui, Rolando
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C58
1991